Projection theorem